stepwise refinement approach

stepwise refinement approach
метод постепенного совершенствования (при разработке аппаратуры)

Англо-русский словарь по компьютерной безопасности. . 2011.

Игры ⚽ Нужно сделать НИР?

Смотреть что такое "stepwise refinement approach" в других словарях:

  • Refinement calculus — is a formalized approach to stepwise refinement for program construction. The required behaviour of the final executable program is specified as an abstract and perhaps non executable program , which is then refined by a series of correctness… …   Wikipedia

  • Top-down and bottom-up design — Top down and bottom up are strategies of information processing and knowledge ordering, mostly involving software, but also other humanistic and scientific theories (see systemics). In practice, they can be seen as a style of thinking and… …   Wikipedia

  • Architecture Logicielle — L’architecture logicielle décrit d’une manière symbolique et schématique les différents composants d’un ou de plusieurs systèmes informatiques, leurs interrelations et leurs interactions. Contrairement aux spécifications produites par l’analyse… …   Wikipédia en Français

  • Architecture logicielle — L’architecture logicielle décrit d’une manière symbolique et schématique les différents éléments d’un ou de plusieurs systèmes informatiques, leurs interrelations et leurs interactions. Contrairement aux spécifications produites par l’analyse… …   Wikipédia en Français

  • Architectures logicielles — Architecture logicielle L’architecture logicielle décrit d’une manière symbolique et schématique les différents composants d’un ou de plusieurs systèmes informatiques, leurs interrelations et leurs interactions. Contrairement aux spécifications… …   Wikipédia en Français

  • Vienna Development Method — The Vienna Development Method (VDM) is one of the longest established Formal Methods for the development of computer based systems. Originating in work done at IBM s Vienna Laboratory [Some idea of that work, including a technical report TR… …   Wikipedia

  • Ralph-Johan Back — is a Finnish computer scientist.Back originated the Refinement Calculus, an important approach to the formal development of programs using stepwise refinement, in his 1978 PhD thesis at the University of Helsinki, On the Correctness of Refinement …   Wikipedia

  • Compiler — This article is about the computing term. For the anime, see Compiler (anime). A diagram of the operation of a typical multi language, multi target compiler A compiler is a computer program (or set of programs) that transforms source code written …   Wikipedia

  • Chaos strategy — The chaos strategy is an approach to software development that extends other strategies (such as stepwise refinement), and it works with the chaos model.The main rule is always resolve the most important issue first .* An issue is an incomplete… …   Wikipedia

  • PL/0 — At least two programming languages are known as PL/0. One is a subset of IBM s general purpose programming language PL/I. The other PL/0, covered here, is similar to but much simpler than the general purpose programming language Pascal, intended… …   Wikipedia

  • Outline of software engineering — See also: Index of software engineering articles The following outline is provided as an overview of and topical guide to software engineering: Software engineering – application of a systematic, disciplined, quantifiable approach to the… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»